
def subfoo() -> int: ...
